From Orthocomplementations to Locality

After some background on lattices, the locality framework introduced in earlier work by authors is extended to cover posets and lattices. We then extend correspondence between Euclidean structures vector spaces orthogonal complementations a one-one class of orthocomplementations bounded This recasts context renormalisation classical results lattice theory.